<html>
<head><meta charset="utf-8"><title>I-prioritize #80098 rustc infinite loop on unbounded type r… · t-compiler/wg-prioritization/alerts · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/index.html">t-compiler/wg-prioritization/alerts</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2380098.20rustc.20infinite.20loop.20on.20unbounded.20type.20r.E2.80.A6.html">I-prioritize #80098 rustc infinite loop on unbounded type r…</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="220191280"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2380098%20rustc%20infinite%20loop%20on%20unbounded%20type%20r%E2%80%A6/near/220191280" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2380098.20rustc.20infinite.20loop.20on.20unbounded.20type.20r.E2.80.A6.html#220191280">(Dec 17 2020 at 00:05)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="3111">@WG-prioritization/alerts</span> issue <a href="https://github.com/rust-lang/rust/issues/80098">#80098</a> has been requested for prioritization.</p>
<h1><a href="https://forge.rust-lang.org/compiler/prioritization/procedure.html#assign-priority-to-unprioritized-issues-with-i-prioritize-label">Procedure</a></h1>
<ul>
<li>Priority?</li>
<li>Regression?</li>
<li>Notify people/groups?</li>
<li>Needs <code>I-nominated</code>?</li>
</ul>



<a name="220193687"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2380098%20rustc%20infinite%20loop%20on%20unbounded%20type%20r%E2%80%A6/near/220193687" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2380098.20rustc.20infinite.20loop.20on.20unbounded.20type.20r.E2.80.A6.html#220193687">(Dec 17 2020 at 00:37)</a>:</h4>
<p>Probably P-medium or P-high</p>



<a name="220540389"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2380098%20rustc%20infinite%20loop%20on%20unbounded%20type%20r%E2%80%A6/near/220540389" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2380098.20rustc.20infinite.20loop.20on.20unbounded.20type.20r.E2.80.A6.html#220540389">(Dec 20 2020 at 22:28)</a>:</h4>
<p>bump</p>



<a name="220540396"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2380098%20rustc%20infinite%20loop%20on%20unbounded%20type%20r%E2%80%A6/near/220540396" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2380098.20rustc.20infinite.20loop.20on.20unbounded.20type.20r.E2.80.A6.html#220540396">(Dec 20 2020 at 22:28)</a>:</h4>
<p>When did this regress?</p>



<a name="220540424"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2380098%20rustc%20infinite%20loop%20on%20unbounded%20type%20r%E2%80%A6/near/220540424" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2380098.20rustc.20infinite.20loop.20on.20unbounded.20type.20r.E2.80.A6.html#220540424">(Dec 20 2020 at 22:29)</a>:</h4>
<p>Not sure.</p>



<a name="220540465"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2380098%20rustc%20infinite%20loop%20on%20unbounded%20type%20r%E2%80%A6/near/220540465" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2380098.20rustc.20infinite.20loop.20on.20unbounded.20type.20r.E2.80.A6.html#220540465">(Dec 20 2020 at 22:30)</a>:</h4>
<p>It's hard to bisect hangs.</p>



<a name="220540475"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2380098%20rustc%20infinite%20loop%20on%20unbounded%20type%20r%E2%80%A6/near/220540475" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2380098.20rustc.20infinite.20loop.20on.20unbounded.20type.20r.E2.80.A6.html#220540475">(Dec 20 2020 at 22:30)</a>:</h4>
<p>Ah, yes, right</p>



<a name="220540488"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2380098%20rustc%20infinite%20loop%20on%20unbounded%20type%20r%E2%80%A6/near/220540488" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2380098.20rustc.20infinite.20loop.20on.20unbounded.20type.20r.E2.80.A6.html#220540488">(Dec 20 2020 at 22:30)</a>:</h4>
<p>Author apparently reproduced it on 1.47.0</p>



<a name="220540494"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2380098%20rustc%20infinite%20loop%20on%20unbounded%20type%20r%E2%80%A6/near/220540494" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2380098.20rustc.20infinite.20loop.20on.20unbounded.20type.20r.E2.80.A6.html#220540494">(Dec 20 2020 at 22:31)</a>:</h4>
<p>Testing with Godbolt now.</p>



<a name="220540498"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2380098%20rustc%20infinite%20loop%20on%20unbounded%20type%20r%E2%80%A6/near/220540498" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2380098.20rustc.20infinite.20loop.20on.20unbounded.20type.20r.E2.80.A6.html#220540498">(Dec 20 2020 at 22:31)</a>:</h4>
<p>Good luck :D</p>



<a name="220540553"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2380098%20rustc%20infinite%20loop%20on%20unbounded%20type%20r%E2%80%A6/near/220540553" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2380098.20rustc.20infinite.20loop.20on.20unbounded.20type.20r.E2.80.A6.html#220540553">(Dec 20 2020 at 22:32)</a>:</h4>
<p>Based on testing with Godbolt, the hang was introduced between 1.46 and 1.47.</p>



<a name="220781056"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2380098%20rustc%20infinite%20loop%20on%20unbounded%20type%20r%E2%80%A6/near/220781056" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2380098.20rustc.20infinite.20loop.20on.20unbounded.20type.20r.E2.80.A6.html#220781056">(Dec 23 2020 at 11:36)</a>:</h4>
<p>I'd asssign a <code>P-medium</code>. I think a function recursively calling itself and avoid the compiler limit is not an urgent problem, still something worth tracking</p>



<a name="220826800"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2380098%20rustc%20infinite%20loop%20on%20unbounded%20type%20r%E2%80%A6/near/220826800" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2380098.20rustc.20infinite.20loop.20on.20unbounded.20type.20r.E2.80.A6.html#220826800">(Dec 23 2020 at 20:59)</a>:</h4>
<p>(apiraino assigned P-medium)</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>